Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
171	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 1, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:45:32 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
172	Call for Papers KR-2008: Eleventh International Conference on Principles of Knowledge Representation and Reasoning Sydney, Australia, Sept, 2008 Collocated with NMR-08, ICAPS-08, CP-08 Knowledge Representation a Add to Reading List Source URL: www.informatik.uni-leipzig.de Language: English - Date: 2007-08-20 15:27:27 Mathematical logic Non-classical logic Knowledge representation Non-monotonic logic Knowledge representation and reasoning Description logic Belief revision Paraconsistent logic Default logic Logic Science Reasoning
173	Knowledge Preconditions for Plans Ernest Davis Courant Institute New York, New York Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2004-01-06 13:23:35 Epistemology Omniscience Philosophy Science Mind Modal logic Non-classical logic Philosophical logic
174	cressaid_terms_and_conditions Add to Reading List Source URL: www.cressaid.com.au Language: English - Date: 2014-10-09 21:45:54 Philosophical logic Non-classical logic Abstraction Axiology Copyright Internet Relay Chat X Window System Modal logic Invoice Software Science Logic
175	A research and education initiative at the MIT Sloan School of Management Description Logic Programs: Combining Logic Programs with Description Logic Add to Reading List Source URL: ebusiness.mit.edu Language: English - Date: 2012-11-08 09:59:20 Information science Non-classical logic Semantic Web Logic in computer science Artificial intelligence Description logic First-order logic Ontology Function Logic Mathematical logic Mathematics
176	1 Logic-based Formalisms for Statistical Relational Learning James Cussens Department of Computer Science & York Centre for Complex Systems Analysis Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2006-09-08 09:58:34 Bayesian statistics Predicate logic Philosophy of mathematics Non-classical logic Probabilistic logic Bayesian probability Markov logic network Probability interpretations First-order logic Logic Mathematics Mathematical logic
177	Defeasibility in Answer Set Programs via Argumentation Theories? Hui Wan1 1 Michael Kifer1 Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-07-17 11:25:02 Knowledge Reasoning Non-classical logic Critical thinking Defeasible reasoning Stable model semantics Argumentation theory Answer set programming Defeasible logic Logic programming Logic Science
178	On a Rule-Based Interpretation of Default Conditionals James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2007-05-11 16:16:44 Philosophical logic Reasoning Binary operations Default logic Non-monotonic logic Inference Entailment Material conditional Monotonicity of entailment Logic Logical consequence Non-classical logic
179	ZU064-05-FPR linearpi 20 December 2013 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-17 07:07:57 Proof theory Deduction Propositional calculus Logic in computer science Non-classical logic Natural deduction Function Π-calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
180	CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50 Add to Reading List Source URL: www.mat.uc.pt Language: English - Date: 2009-09-09 05:24:23 Formal languages Intuitionism Mathematical constructivism Proof theory Non-classical logic Realizability Stephen Cole Kleene Model checking Linear temporal logic Logic Mathematical logic Mathematics

UPDATE